Search Results
Verifiability Talk 28: Verified Trustworthy Software Specification, Philippa Gardner (Imperial)
HIS 2021 Keynote: Verified Trustworthy Software Specification
Prof. Philippa Gardner | Gillian Verification
Galois, Inc. Tech Talk: JaVerT: a JavaScript Verification Toolchain (Dr. Philippa Gardner)
"Gillian Verification of JavaScript and C", Tech Talk by Philippa Gardner and Petar Maksimović
Interview with Philippa Gardner
[Session Previews @ POPL'23] Program Logics & Resources
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Dr. Andreas Rossberg | Safety First: WebAssembly as a Formally Specified Universal Compute Platform
Prof. Peter Sewell | Big Specification Organisation and Adoption: Successes, Failures, Risks, and...
BCS Needham Lecture 2014 - Introduction
![[Session Previews @ POPL'23] Program Logics & Resources](https://img.youtube.com/vi/-H9Z1gDXWMw/hqdefault.jpg)
